101![Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A. Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A.](https://www.pdfsearch.io/img/203b04547a6c3d731deb87cf729ecfc9.jpg) | Add to Reading ListSource URL: wcl.cs.rpi.eduLanguage: English - Date: 2015-01-22 12:32:40
|
---|
102![Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy Space-Aware Ambients and Processes ? Franco Barbanera Universit` a di Catania, Italy](https://www.pdfsearch.io/img/993b12fe684ef997de443b195eca1fd1.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2009-01-08 08:30:15
|
---|
103![Bachelor Thesis: „Security Aspects of Digital Actors“ By: Ayse Morali Bachelor Thesis: „Security Aspects of Digital Actors“ By: Ayse Morali](https://www.pdfsearch.io/img/f9196b7e149799e4c9fbf0a48a12a108.jpg) | Add to Reading ListSource URL: wcl.cs.rpi.eduLanguage: English - Date: 2015-01-22 12:33:50
|
---|
104![Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1](https://www.pdfsearch.io/img/c44ee7cedb61a45413378ddfa301f2f3.jpg) | Add to Reading ListSource URL: www.cypherpunks.toLanguage: English - Date: 2008-03-14 04:27:53
|
---|
105![Stochastic Volatility with Long�Range Dependence Stochastic Volatility with Long�Range Dependence](https://www.pdfsearch.io/img/23ff64178b918619ad89fc58ed366b55.jpg) | Add to Reading ListSource URL: www.mssanz.org.auLanguage: English - Date: 2013-01-15 17:47:44
|
---|
106![Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1](https://www.pdfsearch.io/img/f21dd029c8219bd5bbb1dc055b2f3702.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2005-06-07 07:00:39
|
---|
107![Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si](https://www.pdfsearch.io/img/3bcbe1dd450d85947cc2712e5a6a99ef.jpg) | Add to Reading ListSource URL: research.meolic.comLanguage: English - Date: 2013-12-04 04:28:45
|
---|
108![Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica](https://www.pdfsearch.io/img/192f13d5992e930792f805f6bb4f28f9.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2005-06-07 06:32:09
|
---|
109![University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction](https://www.pdfsearch.io/img/8bfc8b3f7ffa782e9dcc9562ca005663.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2012-11-23 07:14:37
|
---|
110![Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus P. Mateus1 ? , J. Mitchell2 ?? , and A. Scedrov3 ? ? ? 1 Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus P. Mateus1 ? , J. Mitchell2 ?? , and A. Scedrov3 ? ? ? 1](https://www.pdfsearch.io/img/d2cffc82c3d0329032393cfdd9e1a00a.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2004-04-23 20:06:40
|
---|